/*
在使用泛型时，类型参数常常必须使用 trait 作为约束(bound) 来明确规定类型应实现
哪些功能。
例如：下面例子用到了 `Display` trait 来打印，所以它用 `Display`来约束T，也就是
T必须实现 `Display`
*/

use std::fmt::Display;

// 定义一个函数 `printer`，接受一个类型为泛型 `T` 的参数，
// 其中 `T` 必须实现 `Display` trait。
fn printer<T: Display>(t: T) {
    println!("{}", t);
}

// 约束把泛型类型限制为符合约束的类型
struct S<T: Display>(T);

// 约束的另一个作用是泛型的实例可以访问作为约束的trait的方法

// 这个 trait 用来实现打印标记：`{:?}`
use std::fmt::Debug;

trait HasArea {
    fn area(&self) -> f64;
}

impl HasArea for Rectangle {
    fn area(&self) -> f64 {
        self.length * self.height
    }
}

#[derive(Debug)]
struct Rectangle {
    length: f64,
    height: f64
}

#[allow(dead_code)]
struct Triangle {
    length: f64,
    height: f64
}

// 泛型 `T` 必须实现 `Debug` 。只要满足这点，无论什么类型
// 都可以让下面函数正常工作。
fn print_debug<T: Debug>(t: &T) {
    println!("{:?}", t);
}

// `T` 必须实现 `HasArea`。任意符合该约束的泛型的实例
// 都可访问 `HasArea` 的 `area` 函数
fn area<T: HasArea>(t: &T) -> f64 {
    t.area()
}

fn main() {
    // 报错！`Vec<T>` 未实现 `Display`。此次泛型具体化失败。
    //let s = S(vec![1]);

    let rectangle = Rectangle {
        length: 3.0,
        height: 4.0
    };

    print_debug(&rectangle);
    println!("Area: {}", area(&rectangle));

    let _triangle = Triangle {
        length: 3.0,
        height: 4.0
    };
    // 以下报错，未实现 `Debug` 或  `HasArea`
    // print_debug(&_triangle);
    // println!("Area: {}", area(&_triangle));
}